2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

391 391 399 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.208 0.711 180.000 0.000 0.000 0.000 0.000 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

256 256 225 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.153 0.252 180.000 0.000 0.000 0.000 0.000 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 115 0 0 0 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.090 0.126 180.000 0.000 0.000 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 40 36 0 57 0 0 -1

N.S.

1 1.00 1.00 0.90 0.00 1.42 0.00 0.00 -0.02

time (sec)

N/A 0.030 0.029 1.232 0.000 0.337 0.000 0.000 0.000

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

98 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.067 0.514 4.888 0.000 0.000 0.000 0.000 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

98 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 1.022 5.077 0.000 0.000 0.000 0.000 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

296 296 262 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.266 0.279 180.000 0.000 0.000 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 122 0 0 0 0 0 -1

N.S.

1 1.00 0.67 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.082 0.107 180.000 0.000 0.000 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 36 0 57 0 0 -1

N.S.

1 1.00 1.00 0.86 0.00 1.36 0.00 0.00 -0.02

time (sec)

N/A 0.029 0.028 1.724 0.000 0.363 0.000 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

102 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.061 0.515 4.944 0.000 0.000 0.000 0.000 0.000

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

102 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.063 1.020 5.207 0.000 0.000 0.000 0.000 0.000

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 170 0 0 0 0 0 -1

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.235 0.684 180.000 0.000 0.000 0.000 0.000 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

355 355 229 0 0 0 0 0 -1

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.269 0.685 180.000 0.000 0.000 0.000 0.000 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 160 0 0 0 0 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.163 0.427 180.000 0.000 0.000 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

199 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.365 0.159 180.000 0.000 0.000 0.000 0.000 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

84 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.247 0.160 180.000 0.000 0.000 0.000 0.000 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

616 616 429 0 0 0 0 0 -1

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.462 2.162 180.000 0.000 0.000 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

542 542 390 0 0 0 0 0 -1

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.355 1.236 180.000 0.000 0.000 0.000 0.000 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

420 420 287 0 0 0 0 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.259 1.004 180.000 0.000 0.000 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

390 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.685 0.181 180.000 0.000 0.000 0.000 0.000 0.000

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

273 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.498 0.455 180.000 0.000 0.000 0.000 0.000 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

816 816 667 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.549 5.188 180.000 0.000 0.000 0.000 0.000 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

745 745 685 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.450 2.000 180.000 0.000 0.000 0.000 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

632 632 529 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.335 3.734 180.000 0.000 0.000 0.000 0.000 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

756 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.088 0.201 180.000 0.000 0.000 0.000 0.000 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

455 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.841 0.454 180.000 0.000 0.000 0.000 0.000 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.071 0.344 180.000 0.000 0.000 0.000 0.000 0.000

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 100 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.184 0.143 180.000 0.000 0.000 0.000 0.000 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 86 0 0 0 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.132 0.147 180.000 0.000 0.000 0.000 0.000 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 43 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.075 0.056 180.000 0.000 0.000 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 18 17 83 34 29 33

N.S.

1 1.00 1.00 1.06 1.00 4.88 2.00 1.71 1.94

time (sec)

N/A 0.027 0.008 0.295 0.283 0.376 0.327 0.400 0.285

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.066 3.964 180.000 0.000 0.000 0.000 0.000 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.071 1.307 180.000 0.000 0.000 0.000 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

416 416 361 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.415 0.892 180.000 0.000 0.000 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

304 304 273 0 0 0 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.232 0.999 180.000 0.000 0.000 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 233 0 0 0 0 0 -1

N.S.

1 1.00 1.59 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.122 0.313 180.000 0.000 0.000 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 227 0 0 0 0 0 -1

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.197 0.297 180.000 0.000 0.000 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 283 0 0 0 0 0 -1

N.S.

1 1.00 1.56 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.267 0.938 180.000 0.000 0.000 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 141 0 219 548 0 0 -1

N.S.

1 1.00 0.75 0.00 1.17 2.93 0.00 0.00 -0.01

time (sec)

N/A 0.205 0.271 180.000 0.279 0.455 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

459 459 683 0 0 0 0 0 -1

N.S.

1 1.00 1.49 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.283 1.076 180.000 0.000 0.000 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 352 0 0 0 0 0 -1

N.S.

1 1.00 1.43 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.160 0.533 180.000 0.000 0.000 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

304 304 273 0 0 0 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.226 0.975 180.000 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 344 0 0 0 0 0 -1

N.S.

1 1.00 1.29 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.314 0.603 180.000 0.000 0.000 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

284 284 514 0 0 0 0 0 -1

N.S.

1 1.00 1.81 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.317 1.475 180.000 0.000 0.000 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

364 364 706 0 0 0 0 0 -1

N.S.

1 1.00 1.94 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.270 3.827 180.000 0.000 0.000 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

344 344 481 0 0 0 0 0 -1

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.204 0.750 180.000 0.000 0.000 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

459 459 683 0 0 0 0 0 -1

N.S.

1 1.00 1.49 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.292 1.029 180.000 0.000 0.000 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

416 416 565 0 0 0 0 0 -1

N.S.

1 1.00 1.36 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.400 0.730 180.000 0.000 0.000 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

381 381 465 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.426 0.994 180.000 0.000 0.000 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

518 518 779 0 0 0 0 0 -1

N.S.

1 1.00 1.50 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.284 2.517 180.000 0.000 0.000 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

472 472 1005 0 0 0 0 0 -1

N.S.

1 1.00 2.13 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.298 4.914 180.000 0.000 0.000 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

381 381 465 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.419 1.006 180.000 0.000 0.000 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 344 0 0 0 0 0 -1

N.S.

1 1.00 1.29 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.304 0.601 180.000 0.000 0.000 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 227 0 0 0 0 0 -1

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.193 0.302 180.000 0.000 0.000 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 113 0 32 0 0 0 -1

N.S.

1 1.00 1.92 0.00 0.54 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.109 0.256 180.000 0.279 0.000 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 113 0 98 443 0 0 -1

N.S.

1 1.00 1.02 0.00 0.88 3.99 0.00 0.00 -0.01

time (sec)

N/A 0.154 0.221 180.000 0.495 0.455 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

295 295 143 0 233 576 0 0 -1

N.S.

1 1.00 0.48 0.00 0.79 1.95 0.00 0.00 -0.00

time (sec)

N/A 0.222 0.293 180.000 0.493 0.488 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

517 517 781 0 0 0 0 0 -1

N.S.

1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.283 2.581 180.000 0.000 0.000 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 515 0 0 0 0 0 -1

N.S.

1 1.00 1.82 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.319 1.550 180.000 0.000 0.000 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 285 0 0 0 0 0 -1

N.S.

1 1.00 1.58 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.258 0.781 180.000 0.000 0.000 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 94 0 98 443 0 0 -1

N.S.

1 1.00 0.84 0.00 0.88 3.96 0.00 0.00 -0.01

time (sec)

N/A 0.157 0.234 180.000 0.492 0.435 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 118 0 82 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.80 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.132 0.267 180.000 0.267 0.000 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 201 0 237 0 0 0 -1

N.S.

1 1.00 0.71 0.00 0.84 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.198 0.375 180.000 0.287 0.000 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

470 470 1083 0 0 0 0 0 -1

N.S.

1 1.00 2.30 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.297 6.142 180.000 0.000 0.000 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

362 362 706 0 0 0 0 0 -1

N.S.

1 1.00 1.95 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.259 3.838 180.000 0.000 0.000 0.000 0.000 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 131 0 220 548 0 0 -1

N.S.

1 1.00 0.71 0.00 1.19 2.96 0.00 0.00 -0.01

time (sec)

N/A 0.197 0.263 180.000 0.289 0.456 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

294 294 139 0 232 576 0 0 -1

N.S.

1 1.00 0.47 0.00 0.79 1.96 0.00 0.00 -0.00

time (sec)

N/A 0.221 0.250 180.000 0.496 0.459 0.000 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 202 0 237 0 0 0 -1

N.S.

1 1.00 0.72 0.00 0.84 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.199 0.362 180.000 0.297 0.000 0.000 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 193 0 159 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.78 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.155 0.338 180.000 0.277 0.000 0.000 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

680 680 890 0 0 0 0 0 -1

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.700 1.539 180.000 0.000 0.000 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

508 508 705 0 0 0 0 0 -1

N.S.

1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.420 1.158 180.000 0.000 0.000 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 352 0 0 0 0 0 -1

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.221 0.647 180.000 0.000 0.000 0.000 0.000 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 315 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.314 0.604 180.000 0.000 0.000 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

544 544 594 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.654 2.685 180.000 0.000 0.000 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-1) F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

518 518 783 0 0 0 0 0 -1

N.S.

1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.758 7.296 180.000 0.000 0.000 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

774 774 1084 0 0 0 0 0 -1

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.538 2.110 180.000 0.000 0.000 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

396 396 524 0 0 0 0 0 -1

N.S.

1 1.00 1.32 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.307 1.106 180.000 0.000 0.000 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

508 508 705 0 0 0 0 0 -1

N.S.

1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.429 1.135 180.000 0.000 0.000 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

436 436 532 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.416 1.349 180.000 0.000 0.000 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

752 752 1174 0 0 0 0 0 -1

N.S.

1 1.00 1.56 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.731 5.865 180.000 0.000 0.000 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-1) F F(-1) F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

580 580 1609 0 0 0 0 0 -1

N.S.

1 1.00 2.77 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.804 8.679 180.000 0.000 0.000 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

548 548 735 0 0 0 0 0 -1

N.S.

1 1.00 1.34 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.386 1.462 180.000 0.000 0.000 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

774 774 1084 0 0 0 0 0 -1

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.559 2.037 180.000 0.000 0.000 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

680 680 890 0 0 0 0 0 -1

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.711 1.475 180.000 0.000 0.000 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

615 615 723 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.505 2.112 180.000 0.000 0.000 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

972 972 2492 0 0 0 0 0 -1

N.S.

1 1.00 2.56 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.895 9.616 180.000 0.000 0.000 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-1) F F(-2) F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

790 790 2622 0 0 0 0 0 -1

N.S.

1 1.00 3.32 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.940 10.764 180.000 0.000 0.000 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

615 615 723 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.495 2.013 180.000 0.000 0.000 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

436 436 529 0 0 0 0 0 -1

N.S.

1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.424 1.240 180.000 0.000 0.000 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 315 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.343 0.582 180.000 0.000 0.000 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 168 0 53 0 0 0 -1

N.S.

1 1.00 2.85 0.00 0.90 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.176 0.457 180.000 0.289 0.000 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

464 464 508 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.457 1.425 180.000 0.000 0.000 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

942 942 524 0 0 0 0 0 -1

N.S.

1 1.00 0.56 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.872 4.616 180.000 0.000 0.000 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-2) F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

972 972 2143 0 0 0 0 0 -1

N.S.

1 1.00 2.20 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.901 11.568 180.000 0.000 0.000 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

752 752 1084 0 0 0 0 0 -1

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.784 8.853 180.000 0.000 0.000 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

544 544 530 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.641 3.582 180.000 0.000 0.000 0.000 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

464 464 511 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.453 1.455 180.000 0.000 0.000 0.000 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

224 224 488 0 0 0 0 0 -1

N.S.

1 1.00 2.18 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.276 0.824 180.000 0.000 0.000 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

743 743 754 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.610 7.512 180.000 0.000 0.000 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-1) F F(-2) F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

794 794 2552 0 0 0 0 0 -1

N.S.

1 1.00 3.21 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.926 11.049 180.000 0.000 0.000 0.000 0.000 0.000